1.
پدیدآورنده : پرهیزکاری ،مسعود,مسعود پرهیزگاری
کتابخانه: (Information Technology Library (Libraries of Art and Cultural Organization of Tehran Municipality (Tehran)
موضوع : ، زبانهای صوری ، , ، نظریه ماشین ، , ، دانشگاهها و مدارس عالی ،ایران -- آزمونها, ، آزمون دوره های تحصیلات تکمیلی ،ایران
رده :
511
/3
پ
418
ن
1382
2.
پدیدآورنده : صفایی ،فرشاد
کتابخانه: (Shohadaye Hesarak Library (Libraries of Art and Cultural Organization of Tehran Municipality (Tehran)
موضوع : ، زبانهای صوری،آزمونها و تمرینها عالی , ، نظریه ماشین،آزمونها و تمرینها عالی
رده :
511
،
/3
،
ص
678
ه
،
1386
3.
پدیدآورنده : صفایی ،فرشاد
کتابخانه: (Salam Library (Libraries of Art and Cultural Organization of Tehran Municipality (Tehran)
موضوع : ، زبانهای صوری،آزمونها و تمرینها عالی , ، نظریه ماشین،آزمونها و تمرینها عالی
رده :
511
،
/3
،
ص
678
ه
،
1386
4.
پدیدآورنده : صفایی ،فرشاد
کتابخانه: (Imam Khomeini Library (Libraries of Art and Cultural Organization of Tehran Municipality (Tehran)
موضوع : ، زبانهای صوری،آزمونها و تمرینها عالی , ، نظریه ماشین،آزمونها و تمرینها عالی
رده :
511
،
/3
،
ص
678
ه
،
1386
5. <An> introduction to the theory of formal languages and automata
پدیدآورنده : \ Willem J.M. Levelt.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Formal languages,Machine theory,نظریه ماشین,زبانهای صوری,a03,a04,a04,a03
رده :
QA
267
.
3
.
L4I5
2008
E
.
Book
,
6. Computability, Complexity, and Languages
پدیدآورنده : \ Martin D. Davis, Elaine J. Weyuker
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Machine theory,Computational complexity,Formal languages,نظریه ماشین,پیچیدگی محاسباتی,زبانهای صوری
رده :
E-Book
,
7. Descriptional Complexity of Formal Systems
پدیدآورنده : \ Jeffrey Shallit , Alexander Okhotin (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Formal methods (Computer science) -- Congresses.,Formal languages -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,زبانهای صوری -- کنگره ها
رده :
QA
76
.
9
.
D4
2015
E-Book
,
8. Developments in language theory
پدیدآورنده : \ Igor Potapov (Ed.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Formal languages -- Congresses.,Computation by Abstract Devices.,Mathematical Logic and Formal Languages,زبانهای صوری -- کنگره ها ,منطق ریاضی و زبان های صوری
رده :
QA
267
.
3
.
D48
2015
E-Book
,
9. Introduction to automata theory, languages, and computation
پدیدآورنده : / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : نظریه ماشین,زبانهای صوری,پیچیدگی محاسباتی
رده :
QA
۲۶۷
/
ه
۲
ال
ف
۹ ۱۳۸۰
10. Scientific Applications of Language Methods
پدیدآورنده : \ edited by Carlos Martín-Vide.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Formal languages,Natural language processig (computer science),زبانهای صوری,پردازش زبان طبیعی,a03,a04,a03,a04
رده :
QA
267
.
3
.
S28
2011
E-Book
,
11. Theory of Finite Automata
پدیدآورنده : \ John Carroll, Darrell Long.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Formal languages,زبانهای صوری,a04,a04,Sequential machine theory.,ماشین حالت‌های متناهی
رده :
E-Book
,
12. Words, languages, and combinatorics III: proceedings of the international conference: Kyoto, Japan, 14 -18 March 2000
پدیدآورنده : / editors, Masami Ito, Teruo Imaoka
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : Semigroups- Congresses,زبانهای صوری -- ک‍ن‍گ‍ره‌ه‍ا,Automata- Congresses
رده :
QA
۱۸۲
/
و
۴ ۱۳۸۲
13. ارشد نظريه زبانها و ماشينها
پدیدآورنده : گردآوري و تدوين بهزاد مقصودي, محمدکريم سهرابي
کتابخانه: Public Library of Shahid Bahonar (Khorasan Razavi)
موضوع : نظريه ماشين -- آزمونها و تمرينها (عالي) زبانهاي صوري -- آزمونها و تمرينها (عالي) آزمون دوره‌هاي تحصيلات تکميلي - ايران دانشگاهها و مدارس عالي -- ايران -- آزمونها
رده :
378
1664-
م
727
ن
14. ارشد نظریه زبانها و ماشینها
پدیدآورنده : سما‌واتی،حامد ۱۳۶۱
کتابخانه: Central Library of Hamedan University of Technology (Hamedan)
موضوع : راهنما‌ی آموزشی (عالی) زبانهای صوری,آزمونها و تمرینها (عالی) زبانهای صوری,راهنما‌ی آموزشی (عالی) نظریه ماشین,آزمونها و تمرینها (عالی) نظریه ماشین
رده :
QA
۲۶۷
/
۳
/
س
۸
الف
۴
15. ارشد نظريه زبانها و ماشينها رشته مهندسي کامپيوتر
پدیدآورنده : مولف حامد سماواتي
کتابخانه: Public Library of Ayatollah Khamenei (Qom)
موضوع : زبانهاي صوري -- آزمونها و تمرينها (عالي) نظريه ماشين -- آزمونها و تمرينها (عالي) دانشگاهها و مدارس عالي -- ايران -- آزمونها آزمون دوره هاي تحصيلات تکميلي -- ايران نظريه ماشين -- راهنماي آموزشي (عالي) زبانهاي صوري -- راهنماي آموزشي
رده :
511
307-
س
737
الف
16. آزمون‌های نظریه زبانها و ماشینها
پدیدآورنده : / مولف فرشید شیرافکن.,شیرافکن
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : دانشگاهها و مدارس عالی,زبانهای صوری,نظریه ماشین,آزمون دوره‌های تحصیلات تکمیلی,-- آزمونها و تمرینها (عالی), -- آزمونها و تمرینها (عالی), -- آزمونها, -- ایران, -- ایران
رده :
LB
۲۳۵۳
/
ش
۹۸۲۷
آ
۴۵۷ ۱۳۹۰
17. بسته طلايي ارشد
پدیدآورنده : / مولفان مسعود فلاح‌پور، محمد عادلي‌نيا,فلاح‌پور
کتابخانه: كتابخانه مركزي آستان قدس رضوي (ع) - گردش و امانت بانوان (Khorasan Razavi)
موضوع : زبانهاي صوري -- آزمونها و تمرينها (عالي),نظريه ماشين -- آزمونها و تمرينها (عالي),کامپيوترها -- آزمونها و تمرينها (عالي),آزمون دوره‌هاي تحصيلات تکميلي -- ايران,دانشگاهها و مدارس عالي -- ايران -- آزمونها
رده :
۵۱۱
/
۳۰۷۶
ف
۸۲۷
ب
18. بسته طلايي ارشد
پدیدآورنده : / مولفان مسعود فلاح‌پور، محمد عادلي‌نيا,فلاح‌پور
کتابخانه: Central Library of Astan Quds Razavi- Hall Open Shelf For Women (Khorasan Razavi)
موضوع : زبانهاي صوري -- آزمونها و تمرينها (عالي),نظريه ماشين -- آزمونها و تمرينها (عالي),کامپيوترها -- آزمونها و تمرينها (عالي),آزمون دوره‌هاي تحصيلات تکميلي -- ايران,دانشگاهها و مدارس عالي -- ايران -- آزمونها
رده :
۵۱۱
/
۳۰۷۶
ف
۸۲۷
ب
19. بسته طلايي ارشد
پدیدآورنده : / مولفان مسعود فلاح‌پور، محمد عادلي‌نيا,فلاح‌پور
کتابخانه: كتابخانه مركزي آستان قدس رضوي (ع) - گردش و امانت آقايان (Khorasan Razavi)
موضوع : زبانهاي صوري -- آزمونها و تمرينها (عالي),نظريه ماشين -- آزمونها و تمرينها (عالي),کامپيوترها -- آزمونها و تمرينها (عالي),آزمون دوره‌هاي تحصيلات تکميلي -- ايران,دانشگاهها و مدارس عالي -- ايران -- آزمونها
رده :
۵۱۱
/
۳۰۷۶
ف
۸۲۷
ب
20. تشريح جامع مسائل نظريه زبانها و ماشينها بر اساس کتاب
پدیدآورنده : / مولفان ليلا صالحي، سعيد ربيعي، ابراهيم علايي,صالحي
کتابخانه: (Library of Imam Reza (Astan Quds Razavi (Khorasan Razavi)
موضوع : زبانهاي صوري,زبانهاي صوري -- آزمونها و تمرينها (عالي),نظريه ماشين,نظريه ماشين -- آزمونها و تمرينها (عالي)
رده :
۵۱۱
/
۳
ل
۹۴۶
ن
/
گص
